package graph.editor;

import graph.util.AutomatonInfo;

import javax.swing.JFrame;

public interface FramesController {

	public void quit();

	public JFrame createFrame();

	public void deleteFrame(JFrame frame);
	
	// Added by Bien Nguyen
	public void open();

	public void save(AutomatonInfo info);
	// End: Added by Bien Nguyen
}